$\forall$$A$:Type, $f$:$x$:$A$ fp$\rightarrow$ Top. fpf{-}is{-}empty($f$) $\in$ $\mathbb{B}$